#include <bits/stdc++.h>
using namespace std;
using ll = long long;
using pii = pair<int, int>;
#define rep(i, a, b) for (int i = (a); i <= (b); i++)
#define per(i, a, b) for (int i = (a); i >= (b); i--)
#define endl '\n'
const int N = 2e5 + 5;

ll n, k;

int main() {
  ios::sync_with_stdio(0), cin.tie(0), cout.tie(0);
  cin >> n >> k;
  ll ans = n * k;
  for (ll l = 1, r; l <= n; l = r + 1) {
    ll x = k / l;
    if (!x) break;
    r = min(k / x, n);
    ll y = (l + r) * (r + 1 - l) / 2;
    ans -= x * y;
  }
  cout << ans;
  return 0;
}